{
 read (x);
 if x then skip else write (1);
 skip
}